Wyniki
-
iH-Propositional Calculus
A.V. Figallo, G. Ramon, S. Saad
Bulletin of the Section of Logic , 35 /4 (2006) s. 157-162 -
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8 -
A logic for indefinite propositions
G. F. Liddell
Bulletin of the Section of Logic , 6 /3 (1977) -
A note on Zermelo set theory
Carlos G. Gonzalez
Bulletin of the Section of Logic , 21 /1 (1992) s. 28-30 -
Physical topology: some problems
C. Mortensen, G. Nerlich
Bulletin of the Section of Logic , 6 /3 (1977) -
Remarks on Heyting Algebras with Tense Operators
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 71-74 -
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 155-181 -
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics
Piotr S. Krzystek
Bulletin of the Section of Logic , 9 /4 (1980) s. 170-175 -
Commutative BCK-algebras do not enjoy the interpolation property
Piotr S. Krzystek
Bulletin of the Section of Logic , 12 /2 (1983) s. 50-54 -
Characterization of prime numbers by Lukasiewicz's many-valued logics
Alexander S. Karpenko
Bulletin of the Section of Logic , 13 /2 (1984) s. 64-68 -
Formal truth and objective truth
Anguel S. Stefanov
Bulletin of the Section of Logic , 13 /3 (1984) s. 154-164 -
Possible worlds and many truth values
S. H. Thomason
Bulletin of the Section of Logic , 6 /3 (1977) s. 107-111 -
On free relatively pseudocomplemented semilattice with three generators
Piotr S. Krzystek
Bulletin of the Section of Logic , 6 /3 (1977) s. 116-122 -
Construction of classical propositional logic
Alexander S. Karpenko
Bulletin of the Section of Logic , 22 /3 (1993) s. 92-97 -
Sheffer's stroke for prime numbers
Alexander S. Karpenko
Bulletin of the Section of Logic , 23 /3 (1994) s. 126-129 -
The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generation
Alexander S. Karpenko
Bulletin of the Section of Logic , 25 /1 (1996) s. 52-57 -
A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numbers
Alexander S. Karpenko
Bulletin of the Section of Logic , 15 /3 (1986) s. 102-106 -
Algebraic structure of the truth-values for Lω
Alexander S. Karpenko
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 127-137 -
Lattices of implicational logics
Alexander S. Karpenko
Bulletin of the Section of Logic , 21 /3 (1992) s. 82-91